\documentclass[orivec]{llncs}

\usepackage{headers}
\usepackage{macro}



%opening
\title{Reaction networks with delays applied to toxicity analysis \\ \textmd{(Regular application paper)}}
\author{Cinzia Di Giusto   \and Hanna Klaudel \and Franck Delaplace}
\institute{Université d'Evry - Val d'Essonne, Laboratoire IBISC, Evry, France}

\begin{document}


\maketitle

\begin{abstract}
 \input{abstract.tex}
\end{abstract}
 
\section{Introduction}
    \input{intro-FD}

\section{Preliminaries}\label{sec:petri}
\input{ highlevel}


\section{Running example: Blood glucose regulation}\label{sec:example}
   \input{glucose} 


\section{Reaction networks with delays} \label{sec:reaction}
    \input{reactionstamp}
  %  \input{petri}

  \subsection{Properties of \rnd}
  \input{properties}

\section{Toxicology analysis}\label{sec:toxic}
     \input{fsa}

\section{Related works and concluding remarks}\label{sec:concl}
    \input{conclusion}


%% 
%Related: reaction systems, petri nets with causal time and petri nets with timestamps
%
%look for petri nets with clocks / delays
%
%
%time timed petri nets
%
%Toxicology.... Gilles  bernot 
%2010 + 2013




\subsubsection*{Acknowledgments.}
We would like to thank Michel Malo for his insightful suggestions on the biological example.
This work was supported by the French project ANR BLANC 0307 01 - SYNBIOTIC.
 

\bibliographystyle{abbrv}
\bibliography{biblio}



 


\end{document}
